/**
 * \file kernel/log.c
 * \author Davide Gessa
 * \date 18-02-10
 */
#include <log.h>
#include <config.h>
